rigorous upper bound

[数] 严格的上界